Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
481	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) AutoProof Meets Some Verification Challenges Julian Tschannen · Carlo A. Furia · Martin Nordio Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2014-01-14 06:58:45 Logic in computer science Eiffel Postcondition Precondition Recursion Assertion Lookup table Rope Exception handling Software engineering Computer programming Computing
482	Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework* Amit Vasudevan∗, Sagar Chaki† , Limin Jia∗ , Jonathan McCune‡ , James Newsome§ and Anupam Datta∗ ∗ CyLab, Carnegie M Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Hardware virtualization Hypervisor X86 virtualization Hyper-V Ring Hardware-assisted virtualization VMware Direct memory access Xen System software Software Virtual machines
483	Flite Software NI Ltd Example: Sub-sea Natural Gas Pipe Heat Transfer This example is one of many FluidFlow3 verification examples. This particular system was previously modelled using the “Gas/dp” program which was Add to Reading List Source URL: www.fluidflow3.com Language: English - Date: 2014-02-27 10:56:02 Physics Fluid dynamics Natural gas Gas
484	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-07-29 10:40:50 Applied mathematics Computing Formal verification Model checking Programming tool Programming language Exception handling Device driver synthesis and verification Computer-aided software engineering Formal methods Logic in computer science Theoretical computer science
485	Machine-code verification ! Experience of tackling medium-sized case studies Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-07-15 08:15:00 Cross-platform software Programming language implementation Compilers Compiler construction Procedural programming languages LLVM Bytecode Compiler C Computing Software engineering Software
486	Language-Based Verification Will Change The World Tim Sheard Aaron Stump Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Type theory Logic in computer science Functional languages Data types Formal methods Formal verification Dependent type Isabelle Agda Software engineering Programming language theory Computing
487	« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-01 14:30:35 Applied mathematics Knowledge Abstract interpretation Software engineering Formal verification Software verification Software development process Computer science System Science Formal methods Patrick Cousot
488	Abstract Interpretation–based Formal Verification of Complex Computer Systems Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-14 12:51:08 Contract law Patrick Cousot Abstract interpretation Computer arithmetic Printf format string Caron Implied warranty Floating point ALGOL 68 Software engineering Computing Computer programming
489	Product Planning And Development Process Hans Hjort Hans Hjort Consulting Add to Reading List Source URL: qfdcapture.com Language: English - Date: 2012-09-14 16:46:11 Systems theory Reliability engineering Systems engineering process Verification and validation Voice of the customer New product development Software development process Validation Verification Systems engineering Science Systems science
490	PART 2: Proposed Research and Yu formally described a substantial subset of the Motorola MC68020 processor in the logic of the Boyer-Moore prover and used the resulting model to verify compiler generated object code for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-02 11:31:35 Mathematical software Formal verification KeY ARM architecture Model checking Computer security ACL2 Software development process Logic simulation Electronic engineering Theoretical computer science Formal methods

UPDATE